Taking a Look at Compression Algorithms
cefboud.com·7h·
Discuss: Hacker News, r/programming
📦Deflate
X Design Notes: Pattern Matching II
blog.polybdenum.com·4h
💻Programming languages
Distribution of integer literals in text/speech and source code
shape-of-code.com·7h
🔢Denotational Semantics
Polymorphism for Beginners
roscidus.com·1d·
Discuss: Hacker News
λLambda Formalization
The Footprints Recital Series
blogs.lib.umich.edu·10m
🎼Computational Musicology
Chris Smith 2: Rebooting NYHaskell
cdsmithus.medium.com·3h
🔤Type Theory
The Cardinality of an Interval
youtube.com·1h
🏗️Constructive Mathematics
Comparing Computational Pathology Foundation Models using Representational Similarity Analysis
arxiv.org·33m
🗂️Vector Databases
Effect Systems vs. Print Debugging: A Pragmatic Solution
blog.flix.dev·21h·
Discuss: Hacker News
✨Effect Handlers
Exploring how functions in Python are treated as first-class citizens, and the untapped potential they hold.
dev.to·1d·
Discuss: DEV
λLambda Formalization
Generic functional parallel algorithms: scan and FFT (2017)
dl.acm.org·3d·
Discuss: Hacker News
🔗Functional Compilers
Storing Unwise Amounts of Data in JavaScript Bigints
jonathan-frere.com·1d·
Discuss: Lobsters, Hacker News
🗃️Database Storage
Object Orientation [2013 !]
jackrusher.com·1d·
Discuss: Hacker News
🌳Persistent Data Structures
Three Meanings of Effects
burakemir.ch·2d·
Discuss: Hacker News
✨Effect Handlers
Advent of Code: Libraries
elly.town·5d
🔒Type Safety
GitHub - vshakitskiy/how-to-otp: Learn how to work with OTP in Gleam!
github.com·17h
🧬Functional Programming
Pointer Tagging in C++: The Art of Packing Bits Into a Pointer
vectrx.substack.com·3h·
Discuss: Substack, r/cpp
🔩Systems Programming
Cactus Language • Discussion 3
inquiryintoinquiry.com·1d
🧬Functional Programming
Replacing clojure-lsp with clj-kondo and Refactor-nREPL
andreyor.st·9h
🧠Lisp Dialects
The Ternary Manifesto
homepage.cs.uiowa.edu·4d
📝Concrete Syntax